7

Rate monotonic scheduling re-analysed

Year:
2010
Language:
english
File:
PDF, 171 KB
english, 2010
28

Completeness of temporal logics over infinite intervals

Year:
2004
Language:
english
File:
PDF, 252 KB
english, 2004
29

IEEE 1394 Tree Identify Protocol: Introduction to the Case Study

Year:
2003
Language:
english
File:
PDF, 171 KB
english, 2003
30

Refinement of fair action systems

Year:
1998
Language:
english
File:
PDF, 243 KB
english, 1998